HFrame(void) HFrame(HFrame& h) HFrame& operator=(HFrame& h) void debug_out(ostream& c, int indent)
Standard housekeeping functions.